https://www.passeidireto.com/pergunta/125076802/dois-dos-conceitos-mais-importantes-da-logica-matematica-sao-a-implicacao-e-a-eq